페아노 공리계_(r3)

해당 리비전 수정 시각: 2025-05-14 02:29:42 (1개월 전)

[주의!] 문서의 이전 버전(2025-05-14 02:29:42에 수정)을 보고 있습니다. 최신 버전으로 이동

분류

집합론

1. 개요

1. 개요 [편집]

학부 집합론 시간에 배우는 형식적인(formal) 자연수의 정의 및 공리계(axiomatic system).

Contents are available under the CC BY-NC-SA 2.0 KR; There could be exceptions if specified or metioned.
개인정보 처리방침